Manfred Broy: mencari di situs web Z-Library

Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Akses gratis ke pengetahuan dan budaya.

Sumbangan 15 September 2024 – 1 Oktober 2024

Z-Library adalah perpustakaan online yang terbesar di dunis yang mengandung lebih dari 17,000,000 buku dan 84,837,000 artikel. Misi kami adalah membuat buku dapat diakses oleh semua orang! Hari ini (15 September 2024) kami mulai mengumpulkan sumbangan untuk mendukung dan mengembangkan proyek.

Juga unduhan TANPA BATASAN (selama 31 hari setelah hari pemberian donasi) tersedia untuk SEMUA pengguna yang akan menyumbang proyek selama periode pengumpulan sumbangan hingga 1 Oktober 2024.

Tentang pengumpulan danaMembaca lebih lanjut

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (88)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Tahun:

2022

Bahasa:

english

File:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

2

Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 23.23 MB

0 / 0

english, 2004

3

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Tahun:

2006

Bahasa:

english

File:

PDF, 4.65 MB

0 / 0

english, 2006

4

Requirements Engineering Artifact Quality: Definition and Control

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

Tahun:

2017

Bahasa:

english

File:

PDF, 4.36 MB

0 / 0

english, 2017

5

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Tahun:

1985

Bahasa:

english

File:

DJVU, 5.69 MB

0 / 0

english, 1985

6

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

7

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Springer Berlin Heidelberg

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

Tahun:

2001

Bahasa:

english

File:

PDF, 34.05 MB

0 / 0

english, 2001

8

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

Tahun:

2013

Bahasa:

english

File:

PDF, 5.15 MB

0 / 0

english, 2013

9

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Tahun:

2005

Bahasa:

english

File:

PDF, 6.45 MB

0 / 0

english, 2005

10

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Tahun:

1996

Bahasa:

english

File:

PDF, 8.22 MB

0 / 0

english, 1996

11

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Tahun:

2010

Bahasa:

german

File:

PDF, 1.20 MB

0 / 0

german, 2010

12

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 5.87 MB

0 / 0

english, 2005

13

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 8.59 MB

0 / 0

english, 2012

14

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 13.88 MB

0 / 0

english, 2009

15

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Tahun:

1996

Bahasa:

english

File:

PDF, 6.23 MB

0 / 5.0

english, 1996

16

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Tahun:

2010

Bahasa:

german

File:

PDF, 1.36 MB

0 / 0

german, 2010

17

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

Tahun:

1993

Bahasa:

english

File:

PDF, 13.42 MB

0 / 0

english, 1993

18

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 3.86 MB

0 / 0

english, 1996

19

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer Berlin Heidelberg

Broy, Manfred (ed.)

Tahun:

1986

Bahasa:

english

File:

DJVU, 5.62 MB

0 / 0

english, 1986

20

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 6.11 MB

0 / 0

english, 2005

21

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 35.10 MB

0 / 0

english, 2009

22

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Tahun:

1998

Bahasa:

english

File:

PDF, 3.20 MB

0 / 0

english, 1998

23

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 7.03 MB

0 / 0

english, 2003

24

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 5.85 MB

0 / 0

english, 2003

25

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Tahun:

2005

Bahasa:

english

File:

PDF, 5.87 MB

0 / 0

english, 2005

26

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Tahun:

2005

Bahasa:

english

File:

TXT, 1.63 MB

0 / 0

english, 2005

27

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Tahun:

2010

Bahasa:

german

File:

PDF, 1.26 MB

0 / 5.0

german, 2010

28

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Tahun:

2005

Bahasa:

english

File:

FB2 , 3.18 MB

0 / 0

english, 2005

29

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Tahun:

2005

Bahasa:

english

File:

MOBI , 1.81 MB

0 / 0

english, 2005

30

Program design calculi

Program design calculi

Tahun:

1993

Bahasa:

english

File:

DJVU, 3.62 MB

0 / 3.5

english, 1993

31

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Tahun:

2021

Bahasa:

english

File:

PDF, 16.86 MB

0 / 4.0

english, 2021

32

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Springer International Publishing

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

Tahun:

2016

Bahasa:

english

File:

PDF, 42.87 MB

0 / 0

english, 2016

33

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Springer-Verlag Berlin Heidelberg

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 10.50 MB

0 / 0

english, 2012

34

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Tahun:

1985

Bahasa:

english

File:

PDF, 26.53 MB

0 / 0

english, 1985

35

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

Tahun:

2019

Bahasa:

german

File:

PDF, 4.91 MB

0 / 5.0

german, 2019

36

Einführung in die Softwaretechnik

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

Tahun:

2021

Bahasa:

german

File:

PDF, 21.92 MB

0 / 0

german, 2021

37

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Tahun:

1992

Bahasa:

english

File:

PDF, 31.22 MB

0 / 0

english, 1992

38

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Tahun:

1982

Bahasa:

english

File:

PDF, 43.75 MB

0 / 0

english, 1982

39

Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 305.89 MB

0 / 0

english, 2002

40

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Tahun:

2002

Bahasa:

german

File:

PDF, 10.18 MB

0 / 0

german, 2002

41

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

Tahun:

2020

Bahasa:

english

File:

PDF, 16.86 MB

0 / 5.0

english, 2020

42

VDI-Lexikon Informatik und Kommunikationstechnik

VDI-Lexikon Informatik und Kommunikationstechnik

Springer-Verlag Berlin Heidelberg

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

Tahun:

1999

Bahasa:

german

File:

PDF, 34.77 MB

0 / 0

german, 1999

43

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 5.92 MB

0 / 0

english, 2005

44

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Tahun:

1979

Bahasa:

english

File:

PDF, 10.85 MB

0 / 0

english, 1979

45

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

Tahun:

1987

Bahasa:

english

File:

PDF, 12.98 MB

0 / 0

english, 1987

46

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

Tahun:

1995

Bahasa:

german

File:

PDF, 9.57 MB

0 / 0

german, 1995

47

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

Tahun:

1998

Bahasa:

german

File:

PDF, 14.65 MB

0 / 0

german, 1998

48

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Tahun:

1979

Bahasa:

english

File:

DJVU, 4.87 MB

0 / 0

english, 1979

49

Mathematical Methods in Program Development

Mathematical Methods in Program Development

Springer-Verlag Berlin Heidelberg

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

Tahun:

1997

Bahasa:

english

File:

PDF, 21.26 MB

0 / 0

english, 1997

50

Projektorganisation und Management im Software Engineering

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

Tahun:

2013

Bahasa:

german

File:

PDF, 5.66 MB

0 / 0

german, 2013